Mechanical Engineering / Applied Mathematics / Computational Complexity / Control / Flexible Manufacturing / Supervisory Control / Concurrent Systems / Formal method / State Space / Exponential Growth / System modeling / Manufacturing System / Electrical And Electronic Engineering / Supervisory Control / Concurrent Systems / Formal method / State Space / Exponential Growth / System modeling / Manufacturing System / Electrical And Electronic Engineering
Information Systems / Formal Specification / Concurrent Systems / Object Oriented / Temporal Logic / Data Format / Information System / Data Format / Information System